[IA64] Fix VTi domain shutdown
authorAlex Williamson <alex.williamson@hp.com>
Wed, 11 Jul 2007 17:32:30 +0000 (11:32 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Wed, 11 Jul 2007 17:32:30 +0000 (11:32 -0600)
commit293a2a481dd7780f1c06ca9bbc0dff1e68f9e803
tree433849d11f347139285894c5090c382ad3e12feb
parentb86a0f32885f16c45b9d9e1e0305b72493714499
[IA64] Fix VTi domain shutdown

Event channel destruction is now done earlier, this patch does
the corresponding modification in IA64 side. It fixes dom0 crash
when VTI destroyed.

Signed-off-by: Zhang Xin <xing.z.zhang@intel.com>
xen/arch/ia64/vmx/vmx_init.c